Declarative agent languages and technologies IV (4th International workshop, DALT 2006, Hakodate, Japan, May 8, 2006)Baldoni, Matteo; Endriss, Ulle.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-68959-1, 1Vol, VIII-256 p, isbn 3-540-68959-1Conference Proceedings

A fibred tableau calculus for modal logics of agentsPADMANABHAN, Vineet; GOVERNATORI, Guido.Lecture notes in computer science. 2006, pp 105-122, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

Towards theory translationDEJING DOU; MCDERMOTT, Drew.Lecture notes in computer science. 2006, pp 16-28, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 13 p.Conference Paper

A dynamic logic programming based system for agents with declarative goalsNIGAM, Vivek; LEITE, Joao.Lecture notes in computer science. 2006, pp 174-190, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 17 p.Conference Paper

A functional program for agents, actions, and deontic specificationsWYNER, Adam Zachary.Lecture notes in computer science. 2006, pp 239-256, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

The complexity of model checking concurrent programs against CTLK specificationsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 29-42, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 14 p.Conference Paper

Agreeing on defeasible commitmentsALFRED LETIA, Ioan; GROZA, Adrian.Lecture notes in computer science. 2006, pp 156-173, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

JADL - : An agent description language for smart agentsKONNERTH, Thomas; HIRSCH, Benjamin; ALBAYRAK, Sahin et al.Lecture notes in computer science. 2006, pp 141-155, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 15 p.Conference Paper

Dynamic model checking for multi-agent systemsOSMAN, Nardine; ROBERTSON, David; WALTON, Christopher et al.Lecture notes in computer science. 2006, pp 43-60, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

Producing compliant interactions : Conformance, coverage, and interoperabilityCHOPRA, Amit K; SINGH, Munindar P.Lecture notes in computer science. 2006, pp 1-15, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 15 p.Conference Paper

A foundational ontology of organizations and rolesBOELLA, Guido; VAN DER TORRE, Leendert.Lecture notes in computer science. 2006, pp 78-88, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 11 p.Conference Paper

Plan generation and plan execution in agent programmingBIRNA VAN RIEMSDIJK, M; DASTANI, Mehdi.Lecture notes in computer science. 2006, pp 225-238, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 14 p.Conference Paper

When agents communicate hypotheses in critical situationsBOURGNE, Gauvain; MAUDET, Nicolas; PINSON, Suzanne et al.Lecture notes in computer science. 2006, pp 89-104, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 16 p.Conference Paper

Bridging Agent Theory and Object Orientation : Importing Social Roles in Object Oriented LanguagesBALDONI, Matteo; BOELLA, Guido; VAN DER TORRE, Leendert et al.Lecture notes in computer science. 2006, pp 57-75, issn 0302-9743, isbn 3-540-32616-2, 1Vol, 19 p.Conference Paper

Programming goal-driven web sites using an agent logic languageBALDONI, Matteo; BAROGLIO, Cristina; CHIAROTTO, Alessandro et al.Lecture notes in computer science. 2001, pp 60-75, issn 0302-9743, isbn 3-540-41768-0Conference Paper

Engineering commitment-based business protocols with the 2CL methodologyBALDONI, Matteo; BAROGLIO, Cristina; MARENGO, Elisa et al.Autonomous agents and multi-agent systems. 2014, Vol 28, Num 4, pp 519-557, issn 1387-2532, 39 p.Article

Interaction protocols and capabilities : A preliminary reportBALDONI, Matteo; BAROGLIO, Cristina; MARTELLI, Alberto et al.Lecture notes in computer science. 2006, pp 63-77, issn 0302-9743, isbn 3-540-39586-5, 1Vol, 15 p.Conference Paper

Personalization for the semantic webBALDONI, Matteo; BAROGLIO, Cristina; HENZE, Nicola et al.Lecture notes in computer science. 2005, pp 173-212, issn 0302-9743, isbn 3-540-27828-1, 40 p.Conference Paper

Programming declarative goals using plan patternsHÜBNER, Jomi F; BORDINI, Rafael H; WOOLDRIDGE, Michael et al.Lecture notes in computer science. 2006, pp 123-140, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

A modeling framework for generic agent interaction protocolsGHISLAIN QUENUM, José; AKNINE, Samir; BRIOT, Jean-Pierre et al.Lecture notes in computer science. 2006, pp 207-224, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

A collaborative framework to realize virtual enterprises using 3APLNARAYANASAMY, Gobinath; CECIL, Joe; TRAN CAO SON et al.Lecture notes in computer science. 2006, pp 191-206, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 16 p.Conference Paper

Leveraging search and content exploration by exploiting context in folksonomy systems : Web scienceABEL, Fabian; BALDONI, Matteo; BAROGLIO, Cristina et al.New review of hypermedia and multimedia. 2010, Vol 16, Num 1-2, pp 33-70, issn 1361-4568, 38 p.Article

Reasoning about conversation protocols in a logic-based agent languageBALDONI, Matteo; BAROGLIO, Cristina; MARTELLI, Alberto et al.Lecture notes in computer science. 2003, pp 300-311, issn 0302-9743, isbn 3-540-20119-X, 12 p.Conference Paper

Modelling the interaction between objects : Roles as affordancesBALDONI, Matteo; BOELLA, Guido; VAN DER TORRE, Leendert et al.Lecture notes in computer science. 2006, pp 42-54, issn 0302-9743, isbn 3-540-37033-1, 1Vol, 13 p.Conference Paper

Verifying protocol conformance for logic-based communicating agentsBALDONI, Matteo; BAROGLIO, Cristina; MARTELLI, Alberto et al.Lecture notes in computer science. 2005, pp 196-212, issn 0302-9743, isbn 3-540-28060-X, 17 p.Conference Paper